Towards Heterogeneous Speci cations
نویسنده
چکیده
منابع مشابه
MedMaker: A Mediation System Based on Declarative Speci cations
Mediators are used for integration of heterogeneous information sources. In this paper we present a system for declaratively specifying mediators. It is targeted for integration of sources with unstructured or semi-structured data and/or sources with changing schemas. In the paper we illustrate the main features of the Mediator Speci cation Language (MSL), show how they facilitate integration, ...
متن کاملTowards Re ning Temporal Speci cations into Hybrid Systems
We propose a formal framework for designing hybrid systems by stepwise re nement. Starting with a speci cation in hybrid temporal logic, we make successively more transitions explicit until we obtain an executable system.
متن کاملUniversitat Passau Fakult at F Ur Mathematik Und Informatik P Module Connguration by Minimal Model Construction
We present a framework for the automatic con guration of large systems from a library of reusable software components. Core of the framework is a modal logic that uniformly and elegantly captures type descriptions, module speci cations and relative time. Whereas the rst two `dimensions' are treated similarly by means of a simple logic over a taxonomy of types and modules respectively, time is e...
متن کاملTowards a New Way of Parameterization
Classical approaches to parameterization in axiomatic speci cation languages require the user to explicitly handle speci cation instantiation. This often makes speci cations less readable and manageable. We therefore present a new parameterization mechanism which allows implicit instantiation. However, since this mechanism is less powerful as the rst one we show how to combine them to achieve b...
متن کاملEnhancing the tractability of rely/guarantee specifications in the development of interfering operations
Various forms of assumption/commitment speci cations have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent and complete proof rules relating to shared state operation speci cations {with rely and guarantee conditions{ have been published elsewhere. This report investigates methodological issues in the formulation of such spec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998